
uint32 UNSPECIFIED_PIN = 0

uint32 GPIO_PIN_B = 1

uint32 GPIO_PIN_C = 2

uint32 GPIO_PIN_D = 3

uint32 GPIO_PIN_E = 4

uint32 GPIO_PIN_G = 5

uint32 GPIO_PIN_H = 6

uint32 GPIO_PIN_I = 7

uint32 GPIO_PIN_K = 8

uint32 GPIO_PIN_N = 9

uint32 GPIO_PIN_O = 10

uint32 GPIO_PIN_S = 11

uint32 GPIO_PIN_T = 12
